Formal analysis - PDFSEARCH.IO - Document Search Engine

Formal analysis
Results: 1589

#	Item
641	Use Case Title World Population Scale Epidemiological Study Vertical (area) Epidemiology, Simulation Social Science, Computational Social Science Author/Company/Email Add to Reading List Source URL: bigdatawg.nist.gov Language: English - Date: 2013-08-24 14:40:06 Formal sciences Scientific modeling Database management systems Database theory Emerging technologies Agent-based model Data analysis Big data Simulation Science Computing Technology
642	Technical Report UCAM-CL-TR-837 ISSN[removed]Number 837 Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2013-06-17 06:48:00 Information technology management Data analysis Business intelligence Emerging technologies Data visualization Information technology governance Information privacy Internet privacy Analytics Technology Formal sciences Data management
643	We expect other WG to comment on and probably edit the use case proposal that follows. There are 5 existing use cases (The last 3 of these use cases need minor updates for changed template) Web Search Remote Sensing of Add to Reading List Source URL: bigdatawg.nist.gov Language: English - Date: 2013-08-05 10:41:47 Formal sciences Emerging technologies Data analysis World Wide Web Big data Transaction processing Data mining Data quality Full genome sequencing Computing Science Technology
644	Research Organization of Information and Systems The Institute of Statistical Mathematics[removed] Add to Reading List Source URL: www.ism.ac.jp Language: English - Date: 2014-03-05 04:46:16 Scientific method Formal sciences Abduction Deduction Psychometrics Statistical inference Data analysis Bioinformatics Machine learning Science Knowledge Statistics
645	DATA-POP ALLIANCE WHITE PAPERS SERIES Official Statistics, Big Data and Human Development: Towards a New Conceptual and Operational Approach Emmanuel Letouzé Add to Reading List Source URL: www.odi.org Language: English - Date: 2015-01-19 09:20:48 Scientific method Econometrics Official statistics Formal sciences Database management systems Economic data Data analysis Statistics New Zealand Big data Science Statistics Information
646	Chapter Z Structured Methods and Creativity: a happy Dutch marriage Martijn van Welie Gerrit C. van der Veer Add to Reading List Source URL: www.welie.com Language: English - Date: 2007-07-15 18:00:00 Science Visual arts Technical communication Ergonomics Usability Formal methods Software development process Task analysis Cognitive ergonomics Human–computer interaction Design Architectural design
647	Research Organization of Information and Systems The Institute of Statistical Mathematics[removed] Add to Reading List Source URL: www.ism.ac.jp Language: English - Date: 2014-03-05 04:46:30 Scientific method Statistical theory Statistical forecasting Data analysis Formal sciences Statistical inference Data assimilation Research Forecasting Science Statistics Knowledge
648	Note: No proprietary or confidential information should be included NBD(NIST Big Data) Requirements WG Use Case Template Use Case Title Pathology Imaging/digital pathology Vertical (area) Add to Reading List Source URL: bigdatawg.nist.gov Language: English - Date: 2013-08-05 08:51:10 Geographic information system Analytics Knowledge Medical physics Data analysis Medical imaging Social network analysis software Statistics Formal sciences Science
649	CHAPTER 6 Web Mining: Machine learning for Web Applications Hsinchun Chen and Michael Chau Add to Reading List Source URL: www.business.hku.hk Language: English - Date: 2006-01-18 11:46:24 Statistics Data mining Machine learning Data analysis Formal sciences Text mining Information retrieval Artificial neural network Web mining Science Natural language processing Artificial intelligence
650	ICDA: A Platform for Intelligent Care Delivery Analytics David Gotz, Harry Stavropoulos, Jimeng Sun, Fei Wang IBM T.J. Watson Research Center, New York, USA Abstract The identification of high-risk patients is a critical Add to Reading List Source URL: www.research.ibm.com Language: English - Date: 2012-08-13 11:38:25 Data analysis Science Health informatics Business Predictive analytics Analytics Data mining Electronic health record Business intelligence Formal sciences Statistics

UPDATE